home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / tmc / test.ds < prev   
Text File  |  1990-11-02  |  364b  |  22 lines
  1. || File: test.ds
  2. || Author: CvR
  3. ||
  4. || Datastructure file for exhausive test of tm.
  5.  
  6. toplevel ::=
  7.     Top la:[sublevel] lb:[sublevel] |
  8.     TopTuple tup:subtuple |
  9.     TopEnum e:subenum |
  10.     TopNone;
  11.  
  12. subtuple == ( tl:[thing], tn:int );
  13.  
  14. sublevel ::=
  15.     SubNamed n:int |
  16.     SubNamedlist thinglist:[thing] ;
  17.  
  18. subenum ::= EA | EB | EC;
  19.  
  20. thing ::=
  21.     Thing n:int;
  22.